Constraint graph

Results: 103



#Item
51Computer programming / Constraint satisfaction / Constraint graph / Local consistency / Logic programming / Constraint optimization / Hierarchical task network / Bart Selman / Automated planning and scheduling / Constraint programming / Software engineering / Theoretical computer science

C o n s t r a i n t P r o g r a m m i n g Constraints and AI Planning

Add to Reading List

Source URL: www.ai-center.com

Language: English - Date: 2005-12-27 13:41:27
52Applied mathematics / Linear programming / Convex optimization / Constraint programming / Linear programming relaxation / Bayesian network / Directed acyclic graph / Duality / Polyhedral combinatorics / Mathematical optimization / Mathematics / Operations research

Learning Bayesian Network Structure using LP Relaxations Tommi Jaakkola MIT CSAIL David Sontag

Add to Reading List

Source URL: jmlr.org

Language: English - Date: 2010-03-31 18:51:07
53Bipartite graph / Topology / Graph partition / Graph / Erdős–Faber–Lovász conjecture / Constraint graph / Graph theory / Hypergraph / NP-complete problems

Beyond Graphs: Toward Scalable Hypergraph Analysis Systems ∗ Benjamin Heintz

Add to Reading List

Source URL: www.sigmetrics.org

Language: English - Date: 2013-05-23 16:22:19
54Applied mathematics / Constraint satisfaction / Search algorithm / Simulated annealing / Graph / Hill climbing / Local search / Decomposition method / Constraint programming / Mathematics / Theoretical computer science

Principles of Artificial Intelligence Fall 2005 Handout #4 Constraint Satisfaction Vasant Honavar Artificial Intelligence Research Laboratory

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2009-08-25 18:32:20
55Computer programming / ECLiPSe / Constraint graph / Local consistency / Solver / Search algorithm / Constraint satisfaction / Constraint programming / Declarative programming / Software engineering

An Integrated Modelling, Debugging, and Visualisation Environment for G12 Andreas Bauer1,2 , Viorica Botea1 , Mark Brown1 , Matt Gray1,2 , Daniel Harabor1,2 , and John Slaney1,2 1 2

Add to Reading List

Source URL: www.immerundewig.at

Language: English - Date: 2010-09-28 20:00:42
56Graph rewriting / Software development / Theoretical computer science / Graph theory / Object Constraint Language / Transformation language / Metamodeling / Model transformation / Predicate transformer semantics / Unified Modeling Language / Systems engineering / Software engineering

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation Elie Richa1,2 , Etienne Borde1 , Laurent Pautet1 Matteo Bordin2 , and José F. Ruiz2 1

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2014-10-09 10:02:01
57Computing / Local consistency / Constraint satisfaction / Constraint graph / Constraint optimization / Distributed constraint optimization / Search algorithm / Decomposition method / Maths24 / Constraint programming / Software engineering / Computer programming

Introduction The concept of constraint is central to a number of human activities. A constraint limits the field of possibilities in a certain universe. For example, a school timetable that coordinates students, teacher

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2010-01-18 08:33:23
58Mathematics / Applied mathematics / FO / Graph / Constraint logic programming / Constraint programming / Theoretical computer science / Local consistency

Erratum Constraint Networks Christophe lecoutre ISTE/Wiley December 8, 2011

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2011-12-08 03:06:30
59Local consistency / Constraint satisfaction / Interval graph / Intersection graph / Linear programming / Decomposition method / Median graph / Constraint programming / Graph theory / Theoretical computer science

Filtering Algorithms for the NValue Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 LIRMM-CNRS [removed]

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2006-10-20 05:22:43
60Network flow / Graph connectivity / Reachability / Flow network / Transitive closure / SL / Constraint graph / Graph / Directed acyclic graph / Graph theory / Theoretical computer science / Mathematics

The Set Constraint/CFL Reachability Connection in Practice John Kodumal Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2004-04-22 02:37:00
UPDATE